Standard Specifications for Hybrid Structures-2009
نویسندگان
چکیده
منابع مشابه
Specifications for decidable hybrid games
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games [6]. We also solve the o...
متن کاملRequirements Specifications for Hybrid Systems
The purpose of a computer system requirements speci cation is to describe the computer system's required external behavior. To avoid overspeci cation, the requirements speci cation should describe the system behavior as a mathematical relation between entities in the system's environment. When some of these entities are continuous and others are discrete, the system is referred to as a \hybrid"...
متن کاملControllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisses the most important objective (which we refer to as safety). The system performance with respect to lower priority objectives (which we re...
متن کاملConflict-Tolerant Specifications for Hybrid Systems
We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a “conflict-tolerant” specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict...
متن کاملGraph process specifications for hybrid networked systems
Many large-scale multi-agent missions consist of a sequence of subtasks, each of which can be accomplished separately by having agents execute appropriate decentralized controllers. However, many decentralized controllers have network topological prerequisites that must be satisfied in order to achieve the desired effect on a system. Therefore, one cannot always hope to accomplish the original ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concrete Journal
سال: 2010
ISSN: 0387-1061,2186-2753
DOI: 10.3151/coj.48.12_9